temporal logic - German English Dictionary